$\forall$$x$, $y$:Top, ${\it nms}$:(MaName List). if [] and ${\it nms}$ overlap then $x$ else $y$ fi $\sim$ $y$